-
1 результат верификации
Русско-английский словарь по солнечной энергии > результат верификации
-
2 верификация
Русско-английский словарь по информационным технологиям > верификация
-
3 результат верификации
Русско-английский словарь по информационным технологиям > результат верификации
-
4 верификация
ж. вчт. verification -
5 машинная верификация
Русско-английский большой базовый словарь > машинная верификация
-
6 функциональная верификация
Русско-английский большой базовый словарь > функциональная верификация
-
7 читатель
reader ( при обращении к читателю reader всегда употребляется с артиклем the)• Безусловно, читатель знаком с... - The reader is doubtless familiar with...• Безусловно, читатель знаком с идеей, что... - The reader is no doubt familiar with the idea that...• В данной главе у читателя предполагается интуитивное знание... - In this chapter we assume an intuitive knowledge of...• В качестве простого упражнения мы предоставляем читателю показать, что... - It is a simple exercise for the reader to show that...• В качестве упражнения мы оставляем читателю доказательство того, что... - It is left as an exercise for the reader to show that...• В частности, мы предполагаем знакомство читателя с... - In particular, we assume familiarity with...• Внимание читателя привлекается к тому факту, что... - The reader's attention is drawn to the fact that...• Внимательный читатель заметит, что... - An alert reader will have noticed that...• Возможно, теперь читатель... - At this point the reader will probably...• Возможно, что читателю будет известно... - The reader will probably be familiar with...• Возможно, что читателю будет очевидно, что... - It will probably be obvious to the reader that...• Читателю предоставляется проделать это простое вычисление в деталях. - The details of this straightforward computation are left to the reader.• Для дополнительной информации читателю настоятельно рекомендуется ознакомиться с Приложением А. - The reader should consult Appendix A for further information.• Доказательство (этой теоремы и т. п.) простое. Мы оставляем его читателю. - The proof is simple; we leave it to the reader.• Дополнить детали (доказательства и т. п.) мы оставляем читателю. - The details are left to the reader.• Заинтересованный (в этом) читатель отсылается к книге Смита [1]. - The interested reader is referred to the book by Smith [1].• Книга должна быть доступна любому читателю. - The book should be accessible to everyday readers.• Книга должна быть доступна читателям с различной подготовкой. - The book should be accessible to readers from a variety of backgrounds.• Книга должна быть доступна читателям с широким кругом интересов. - The book should be accessible to readers having a wide variety of interests.• Книга должна быть доступна широкой аудитории читателей. - The book should be accessible to a broad audience.• Книга должна быть доступна широкому кругу читателей. - The book should be accessible to a wide variety of readers.• Мы будем предполагать, что читатель знаком с... - We shall assume that the reader is familiar with...• Мы будем предполагать, что читатель обладает очевидной интуитивной концепцией... - We shall assume that the reader has a clear intuitive idea of...• Мы настоятельно побуждаем читателя... - The reader is strongly urged to...• Мы оставляем читателю доказательство противоположного утверждения. - We leave the converse proof to the reader.• Мы оставляем читателю проверку данного утверждения. - We leave verification of this assertion to the reader.• Мы оставляем читателю проверку того, что... - It is left for the reader to verify that...• Мы отсылаем читателя к классическому руководству Смита [1]. - The reader is referred to the classic treatise of Smith [1].• Мы рекомендуем заинтересованному читателю использовать... - The interested reader is urged to explore...• Мы рекомендуем читателю (изучить и т. п.)... читатель We advise the reader to...• Мы собираемся опереться на опыт читателя относительно... - We are going to rely on the reader's experience with...• Наблюдательный читатель заметит, что... - The observant reader will have noticed that...• Наконец, мы обращаем внимание читателя на... - We draw attention, finally, to...• Однако для читателя было бы неправильно думать, что... - But it would be wrong for the reader to think that...• Однако читатель мог бы по-прежнему возражать, что... - The reader might, however, still contend that...• Оставшаяся часть доказательства предоставляется читателю. - The remainder of the proof is left to the reader.• От читателя требуются знания, лишь немного превосходящие основы алгебры и тригонометрии. - Few prerequisites are needed apart from basic algebra and trigonometry.• За кратким введением в..., а также за дополнительными ссылками на литературу читатель может обратиться к (книге)... - For a brief introduction to..., and a further reference, the reader is directed to...• Относительно строгого вывода соотношения (12) читатель должен обратиться к работе Смита [1]. - For a rigorous derivation of (12) the reader is referred to Smith [1].• Перед тем как начать использовать эту концепцию, будет честным предупредить читателя, что... - Before we make use of this concept, it is only fair to warn the reader that...• Помня эти замечания, читатель должен... - With these remarks in mind, the reader should...• Предполагается, что читатель уже имеет некоторое знакомство с... - It is assumed that the reader already has some acquaintance with...• Проверку данной формулы мы оставляем читателю в качестве упражнения. - We leave it as an exercise for the reader to check the formula.• Результат, справедливость которого может быть проверена самим читателем, формулируется следующим образом. - The result, which may be verified by the reader, is...• Уже знакомый с... читатель может получить впечатление, что... - The reader who has previously studied... may have the impression that...• Читатель сам быстро убедится в том, что... - The reader will readily convince himself that...• Читатель должен быть внимательным, чтобы не перепутать... - The reader should be careful not to confuse...• Читатель должен обратить особое внимание, что... - The reader must observe carefully that...• Читатель должен принять во внимание, что... - The reader should appreciate that...• Читатель должен проверить выполнение этих утверждений. - The reader should verify these statements.• Читатель должен проверить, что это справедливо. - The reader should verify that this is the case.• Читатель должен тщательно изучить этот пример. - The reader should study this example carefully.• Читатель должен ясно понимать различие между... - The reader must understand clearly the difference between...• Читатель иногда может обнаружить, что встретился с... - The reader may occasionally find himself faced with...• Читатель легко может проверить, что... - The reader will have no difficulty in verifying...• Читатель мог бы быть удивлен, увидев, что... - The reader may be puzzled to see that...• Читатель мог бы заметить близкое сходство между этим анализом и... - The reader may notice a close similarity between this analysis and...• Читатель мог бы начать интересоваться (чем-л). - The reader may have begun to wonder about...• Читатель мог бы также захотеть... - The reader may also want to...• Читатель мог бы удивиться, видя, что... - The reader may be surprised to see that...• Читатель мог бы уже заметить, что... - The reader may have noticed that...• Читатель может легко подтвердить (= показать), что... - The reader can easily confirm that...• Читатель может оставаться уверенным, что... - The reader may rest assured that...• Читатель может сравнить этот результат с выражением (6). - The reader may compare this result with the expression (6).• Читатель может считать очевидным, что... - The reader may consider it as obvious that...• Читатель найдет поучительным... - The reader will find it instructive to...• Читатель найдет этот результат в любом учебнике... - The reader will find this result in any textbook on...• Читатель найдет, что... - The reader will find that...• Читатель обязан помнить, что... - The reader must keep in mind that...• Читатель поймет, что данные свойства прямо связаны с... - The reader will realize that these properties are directly connected with...• Читатель с хорошей подготовкой немедленно заметит, что... - The knowledgeable reader will see at once that...• Читатель увидит, как можно использовать высшую математику в... - The reader will see how ordinary calculus can be applied to...• Читатель, возможно, мог бы начать подозревать, что... - The reader might begin to suspect that...• Читатель, не интересующийся этой тонкостью, может немедленно перейти к следующему параграфу. - The reader not interested in this subtle point can turn immediately to the next section.• Читатель, несомненно, вспомнит, что... - The reader will doubtless recall that...• Читателю будет полезным помнить, что... - The reader will find it helpful to keep in mind that...• Читателю еще придется... - It will occur to the reader that...• Читателю предлагается самостоятельно проверить, что... - The reader is welcome to check that... -
8 утверждение
statement, assertion, confirmation, affirmation, claim, proposition, conclusion• Вы согласны с этим утверждением? - Do you agree with his assertion?• Данное утверждение интуитивно очевидно, если исходить из того факта, что... - The proposition is intuitively obvious from the fact that...• Данное утверждение немедленно следует из... - The statement follows at once from...• Данное утверждение ничем не оправдывается. - This assertion has no justification.• Для доказательства утверждения (ii) мы выписываем... - То prove part (ii), we write...• Для обратного утверждения необходимы более глубокие рассуждения. - A deeper argument is required for the converse.• Доказательство обратного утверждения уже было проведено. - The proof of the converse has already been given.• Единственным исключением для этого утверждения является... - The only exception to this statement is...• Если только не сделано некоторое специальное противоположное утверждение,... - Unless a specific statement to the contrary is made,...• Из вышеуказанного утверждения вытекает следующий дополнительный результат. - The above argument gives us the following additional result.• Каждое из этих утверждений легко доказывается (путем)... - Each of these statements is readily proved by...• Как мы можем различить эти два утверждения? - How can we reconcile these two statements?• Как указывает это утверждение... - As the statement indicates...• Легко проверить справедливость следующих утверждений. - It is easy to verify the truth of the following statements.• Мое предыдущее утверждение содержит весьма серьезную ошибку. - My previous assertion contains a rather serious error.• Мое прежнее утверждение было неверным. - My prior assertion was wrong.• Мое утверждение было неверным. - My statement was incorrect.• Мы вернемся к этому утверждению позже. - We shall return to this point later.• Мы могли бы подытожить эти результаты утверждением, что... - We may summarize these results with the statement that...• Мы не будем доказывать здесь весьма разумное утверждение, что... - We will not prove here the very reasonable statement that...• Мы опустим доказательство этого утверждения. - We will omit the proof of this statement.• Мы оставляем читателю доказательство противоположного утверждения. - We leave the converse proof to the reader.• Мы оставляем читателю проверку данного утверлсдения. - We leave verification of this assertion to the reader.• Однако мы не будет детально обсуждать здесь это утверждение. - We shall not, however, discuss this point in detail here.• Основание данного утверлсдения покоится/находится в... - The basis for this assertion lies in...• Подобное утверждение невозможно принять без дальнейшего обоснования. - One cannot, without further justification, accept such a...• Приведем точную форму утверждения. - The precise statement is as follows.• Следующие утверлсдения часто используются для того, чтобы определить... - The following propositions are often used to determine...• Следующий пример может сделать это утверждение яснее. - The following example may make this point clearer.• Существенная идея, лежащая в основе этих утверждений, состоит в том, что... - The essential idea underlying these statements is that of...• Теперь мы сформулируем более общее утверлсдение (относительно)... - We now give a more general statement of...• Убедительное доказательство этого утверждения предоставлено Смитом [1]. - Convincing proof of this statement is furnished by Smith [1].• Утверлсдение (ii) выполняется для любого т. - For any т the statement of (ii) holds.• Фундаментальным утверждением является то, что каждый... - It is a fundamental fact that every...• Часто делается утверлсдение, что... - The statement is often made that...• Читатель должен проверить выполнение этих соотношений. - The reader should verify these statements.• Чтобы конкретизировать это утверждение, рассмотрим... - То make this statement more concrete consider...• Чтобы доказать это утверлсдение, мы сделаем упрощающее предположение,, что... - То prove this statement, we make the simplifying assumption that...• Чтобы проиллюстрировать предыдущие утверлсдения, рассмотрим эксперимент, в котором... - То illustrate the preceding statements, let us consider an experiment in which...• Это доказывает первое утверлсдение. - This proves the first assertion.• Это поддерживает наше утверлсдение о том, что... - This supports our statement that...• Это просто утверлсдение, сделанное с целью (чего-л). - This is simply a statement to the effect that...• Это утверлсдение полностью справедливо, только если... - This statement is strictly true only if...• Это утверлсдение становится понятным только когда... - This point becomes clear only when... -
9 средство средств·о
1) (для осуществления чего-л.) means; мн. (технические) devicesпустить в ход выигрышное или последнее средство — to play (one's) trump-card
дипломатическое средство (против кого-л.) — diplomatic expedient (against smb.)
мирные средства — peaceful / pacific means
национальные средства контроля / проверки (выполнения соглашения) — national means of verification
спасительное средство — sure / wonder-working remedy
средства ведения войны — means of war / warfare
средство для достижения цели — leverage, instrument, means to an end, expeilient
незначительное / мелкое событие, в высшей степени раздутое средствами массовой информации — mass media event амер.
средства массового уничтожения — means of mass destruction / annihilation
средства, обеспечивающие выполнение договора — means to secure the performance of a treaty
средство платежа (о функции денег) — medium / means of payment
средство пропаганды — means of propaganda, vehicle for propaganda
средства связи — means / medium of communication
сдерживания / устрашения — deterrent
средства существования — means of subsistence / living
средства формирования общественного мнения — media forming / building / moulding public opinion
2)3) мн.эк. — resources, funds; (активы) assetsвыделять средства для чего-л. — to allocate funds for smth.
направлять средство на что-л. — to channel funds for smth.
получать средство (напр. путём выпуска акций) — to raise the finances
государственные средство — public / state funds
денежные / платежные средства — means, funds
денежные средство, имеющиеся в наличии — available funds
денежные средство, инвестированные в ценные бумаги — tied-up funds
законное платёжное средство — legal / lawful / common tender
оборотные средства — current / circulating assets
основные средство — permanent assets; fixed capital
средства, высвобождающиеся в результате сокращения военных бюджетов — funds released as a result of a reduction of military budgets
средство а, поглощаемые гонкой вооружений — resources absorbed by the arms race
средство, сэкономленные в результате разоружения — disarmament dividends
средство, управляемые по доверенности — trusteed funds
4) юр.средство правовой / судебной защиты — (legal) remedy
См. также в других словарях:
Verification — an epistemic theory of truth based on the idea that the mind engages in a certain kind of activity: verifying a proposition. The distinctive claim of verificationism is that the result of such verifications is, by definition, truth. That is,… … Mini philosophy glossary
Runtime verification — is a verification technique that combines formal verification and program execution.It is the process of detecting faults in a system under scrutiny by passively observing its input/output behavior during its normal operations. The observed… … Wikipedia
Environmental Technology Verification Program — The Environmental Technology Verification (ETV) Program of the Environmental Protection Agency (EPA) in the United States develops testing protocols and verifies the performance of innovative environmental technologies that can address problems… … Wikipedia
Check verification service — A check verification service provides businesses or individuals with either the ability to check the validity of the actual check or draft being presented, or the ability to verify the history of the account holder, or both.[1][2] it often… … Wikipedia
National technical means of verification — is a phrase that first appeared, but was not detailed, in the Strategic Arms Limitation Treaty (SALT) between the US and USSR. At first, the phrase reflected a concern that the Soviet Union could be particularly disturbed by public recognition of … Wikipedia
Device driver synthesis and verification — The device driver is a program which allows the software or higher level computer programs to interact with a hardware device. These software components act as a link between the devices and the operating systems, communicating with each of these … Wikipedia
Simple file verification — (SFV) is a file format for storing CRC32 checksums of files in order to verify the integrity of files. SFV can be used to detect random corruptions in a file, but cannot be used for checking authenticity in any meaningful way. Typically, the .sfv … Wikipedia
File verification — is the process of using an algorithm for verifying the integrity or authenticity of a computer file. This can be done by comparing two files bit by bit, but requires two copies of the same file, and may miss systematic corruptions which might… … Wikipedia
Address Verification System — The Address Verification System (AVS) is a system used to verify the identity of the person claiming to own the credit card. The system will check the billing address of the credit card provided by the user with the address on file at the credit… … Wikipedia
Costly state verification — (CSV) approach in contract theory considers contract design problem in which verification (or disclosure) of enterprise performance is costly and a lender has to pay a monitoring cost. A central result of CSV approach is that it is generally… … Wikipedia
address verification service — noun The process of validating a cardholders given address against the issuers records, to determine accuracy and deter fraud. This service is provided as part of a credit card authorization for mail order/telephone order transactions. A code is… … Wiktionary